Issue1698-postulate.agda:2,3-12
A postulate block can only contain type signatures, possibly under
keyword instance
